../sel4test-hw/build.py